A New Approach to Derive Test Cases from Sequence Diagram

In model based testing, the test cases are generated from the abstract representation of the model. The Abstract test suites are not executed against system under test because it is needed to be described from the corresponding abstract test suite. The effect of model based testing is it offers automation of testing. If a model is readable one then it should have a well defined behavioral interpretation. During testing the model and its behavioral specification is given to model checker. After the verification the paths were used for generating test cases. Here a little knowledge of the coding is needed for the tester instead of brief knowledge about coding in testing. They must to understand the UML models which is used for System under Test.